241. Frege :making sense
پدیدآورنده : Beaney, Michael.
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Frege, Gottlob,8481-5291,، Logic,، Logic, Symbolic and mathematical,، Analysis )Philosophy(,Philosophy ، Language and languages,Philosophy ، Mathematics
رده :
B3245
.
F24
B43
1996
242. Frege :philosophy of mathematics
پدیدآورنده : Dummett, Michael A. E
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Frege, Gottlob,8481-5291,Philosophy ، Mathematics,، Logic, Symbolic and mathematical
243. Frege. philosophy of mathematics
پدیدآورنده : Dummett, Michael Anthony Eardley, 5291-1102
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematics -- Philosophy,Foundations ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
D85F7
244. Frege's philosophy of mathematics
پدیدآورنده : edited by William Demopoulos
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Mathematics -- Philosophy,Mathematics -- Foundations,Logic, Symbolic and mathematical
رده :
QA
.
F74
8
.
6
1995
245. Frege's philosophy of mathematics
پدیدآورنده : edited by William Demopoulos
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Addresses, essays, lectures ، Mathematics -- Philosophy,Addresses, essays, lectures ، Mathematical analysis -- Foundations,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
8
.
6
.
F73
246. Frege's philosophy of mathematics
پدیدآورنده : Edited by William Demopoulos
موضوع : Mathematics - Philosophy,Mathematics - Foundations,Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
247. From Frege to Godel; a source book in mathematical logic, 1879-1931
پدیدآورنده : Van Heijenoort, Jean
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Mathematics-- Philosophy-- Addresses, essays, lectures
رده :
QA
9
.
V3
248. From Frege to Godel; a source book in mathematical logic, 1879-1931
پدیدآورنده : Van Heijenoort, Jean, 2191-6891
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy
رده :
QA
9
.
V34
249. From Mathematics to Philosophy
پدیدآورنده : \ Hao Wang
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Knowledge, Theory of,Logic, symbolic and mathematical,شناخت (فلسفه),منطق ریاضی,a03,a04,a03,a04
رده :
E-Book
,
250. From mathematics to philosophy
پدیدآورنده : Wang, Hao
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
BD
161
.
W27
1974
251. From mathematics to philosophy
پدیدآورنده : Wang, Hao, 1291-5991
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
BD
161
.
W26F7
252. From mathematics to philosophy
پدیدآورنده : Wang, Hao
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,Philosophy ، Mathematics
رده :
BD
161
.
W27
1974b
253. From mathematics to philosophy
پدیدآورنده : Wang, Hao
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Mathematics-- Philosophy
رده :
BD
161
.
W27
1974b
254. Fundamental concepts of modern mathematics
پدیدآورنده : Larsen, Max D.
موضوع : ، Logic, Symbolic and mathematical,، Arithmetic-- Foundations,، Set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
255. Fundamentals of mathematics
پدیدآورنده : Bernd S. W. Schreoder
کتابخانه: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
248
.
S36F8
2010
256. Fundamentals of mathematics: an introduction to proofs, logic, sets, and numbers
پدیدآورنده : Schroder, Bernd S. W. )Bernd Siegfried Walter(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
S358
2010
257. Fuzzy Logic and Mathematics
پدیدآورنده : \ Radim Bělohlávek, Joseph W. Dauben, and George J. Klir
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Fuzzy logic,Logic, symbolic and mathematical,منطق فازی,منطق ریاضی,a03,a04,a03,a04
رده :
E-Book
,
258. Fuzzy logic and mathematics : a historical perspective
پدیدآورنده : Belohlavek, Radim
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Fuzzy logic,، Logic, Symbolic and mathematical
رده :
QA
9
.
64
.
B45F8
259. Generalization of some concepts and problems of complexity theory in structures
پدیدآورنده : by: Farzad Didehvar,^ADidehvar, Farzad
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Logic, Symbolic and mathematical,Computational complexity,Computer science -- Mathematics
260. Geometry of knowledge for intelligent systems
پدیدآورنده : Resconi, Germano
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Calculus of tensors,، Logic, Symbolic and mathematical,Mathematics ، Intelligent agents )Computer software(
رده :
QA
433
.
R47G4